общая модальная логика

См. также в других словарях:

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

• ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… …   Современный философский словарь

• логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

• философская логика —         ФИЛОСОФСКАЯ ЛОГИКА широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики.         На самом деле термин «Ф.… …   Энциклопедия эпистемологии и философии науки

• ФИЛОСОФСКАЯ ЛОГИКА — весьма широкая область логических исследований, ориентированных на философские проблемы и требующих применения философских, содержательных методов и категориального аппарата. Ф.л. не является ни особой философской дисциплиной, ни особым разделом… …   Современная западная философия. Энциклопедический словарь

• МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

• МОДАЛЬНОСТЬ — (от лат. modus мера, способ) оценка связи, устанавливаемой в высказывании, данная с той или иной т.зр. Модальная оценка выражается с помощью модальных понятий: «необходимо», «возможно», «случайно», «доказуемо», «опровержимо», «обязательно»,… …   Философская энциклопедия

• ЛУКАСЁВИЧ — (Lukasiewicz) Ян (1878 1956) пол. логик. Учился во Львове под руководством К. Твардовского (1896 1900). Проф. философии в Варшавском ун те (1915 1939), после Второй мировой войны проф. математической логики в Королевской академии наук в Дублине.… …   Философская энциклопедия

• Список академических дисциплин — Эта статья содержит незавершённый перевод с иностранного языка. Вы можете помочь проекту, переведя её до конца. Если вы знаете, на каком языке написан фрагмент, укажите его в этом шаблоне …   Википедия

• История логики — изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя… …   Википедия